Перевод: с английского на русский

с русского на английский

generic subset

См. также в других словарях:

  • Generic programming — is a style of computer programming in which algorithms are written in terms of to be specified later types that are then instantiated when needed for specific types provided as parameters and was pioneered by Ada which appeared in 1983. This… …   Wikipedia

  • Generic — means pertaining or appropriate to large classes or groups as opposed to specific members of the group. It may refer to:* Generic mood, a grammatical mood used to make generalized statements like Snow is white * Generic antecedents, referents in… …   Wikipedia

  • Generic property — In mathematics, properties that hold for typical examples are called generic properties. For instance, a generic property of a class of functions is one that is true of almost all of those functions, as in the statements, A generic polynomial… …   Wikipedia

  • Generic filter — In the mathematical field of set theory, a generic filter is a kind of object used in the theory of forcing, a technology used for many purposes, but especially to establish the independence of certain propositions from certain formal theories,… …   Wikipedia

  • GENERIC — In the GNU Compiler Collection, GENERIC is an intermediate representation common to all the front ends of GCC. The middle end of GCC, starting with the GENERIC representation and ending after the expansion to RTL, contains all the optimizers and… …   Wikipedia

  • Boolean-valued model — In mathematical logic, a Boolean valued model is a generalization of the ordinary Tarskian notion of structure or model, in which the truth values of propositions are not limited to true and false , but take values in some fixed complete Boolean… …   Wikipedia

  • List of forcing notions — In mathematics, forcing is a method of constructing new models M[G] of set theory by adding a generic subset G of a poset P to a model M. The poset P used will determine what statements hold in the new universe (the extension ); to force a… …   Wikipedia

  • Axiom A — In mathematics, Smale s axiom A defines a class of dynamical systems which have been extensively studied and whose dynamics is relatively well understood. A prominent example is the Smale horseshoe map. The term axiom A originates with Stephen… …   Wikipedia

  • Ramified forcing — In mathematics, ramified forcing is the original form of forcing introduced by harvtxt|Cohen|1963. Ramified forcing starts with a model M of V = L, and builds up larger model M [ G ] of ZF by adding a generic subset G of a poset to M , by… …   Wikipedia

  • Forcing (mathematics) — For the use of forcing in recursion theory, see Forcing (recursion theory). In the mathematical discipline of set theory, forcing is a technique invented by Paul Cohen for proving consistency and independence results. It was first used, in 1963,… …   Wikipedia

  • Wikipedia:Manual of Style — This guideline is a part of the English Wikipedia s Manual of Style. Use common sense in applying it; it will have occasional exceptions. Please ensure that any edits to this page reflect consensus. Shortcuts …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»